" Michael Hanus" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Algebraic and Logic Programming 5 conf., ALP'96

Michael Hanus, Mario Rodriguez-Artalejo

Категория: Cs_Computer science, CsLn_Lecture notes

3.57 Mb

#2

Algebraic and Logic Programming 6 conf., ALP '97 - HOA '97

Michael Hanus, Jan Heering, Karl Meinke

Категория: Cs_Computer science, CsLn_Lecture notes

2.60 Mb

#3

Applications of Declarative Programming and Knowledge Management, 17 conf., INAP 2007

Dietmar Seipel, Michael Hanus, Armin Wolf

Категория: Cs_Computer science, CsLn_Lecture notes

3.51 Mb

#4

Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

Категория: Cs_Computer science, CsLn_Lecture notes

2.46 Mb

#5

Practical Aspects of Declarative Languages, 9 conf., PADL 2007

Категория: CsLn_

3.45 Mb

#6

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer ... / Programming and Software Engineering)

Категория: Computer Science, Computer Science

4.30 Mb

#7

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge ... / Lecture Notes in Artificial Intelligence)

Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

3.52 Mb

#8

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Michael Hanus, Jan Heering, Karl Meinke

18.80 Mb